function schedule_reload(){
    setTimeout(reload, 3000);
}
function reload(){
    window.location=window.location;
}
window.onload=schedule_reload();